(0
 (
  ("(x 4)" 3 82)
  ("(x 5)" 82 145)
  ("(x 4)" 145 169)
  ("(x 3)" 169 182)
  ("(x 2)" 182 191)
  ("(x 1)" 191 236)
  ("(x 2)" 236 240)
  ("(x 3)" 240 243)
  ("(x 4)" 243 246)
  ("(x 5)" 246 250)
  ("(x 6)" 250 271)
  ("(x down)" 4 13)
  ("(x stable)" 13 33)
  ("(x down)" 33 47)
  ("(x stable)" 47 49)
  ("(x down)" 49 56)
  ("(x stable)" 56 82)
  ("(x down)" 82 89)
  ("(x stable)" 89 99)
  ("(x down)" 99 112)
  ("(x stable)" 112 120)
  ("(x down)" 120 127)
  ("(x stable)" 127 128)
  ("(x up)" 128 146)
  ("(x stable)" 146 150)
  ("(x up)" 150 219)
  ("(x stable)" 219 220)
  ("(x down)" 220 262)
  ("(x stable)" 262 270)
  ("(x up)" 270 271)
  ("(y 2)" 3 54)
  ("(y 3)" 54 60)
  ("(y 4)" 60 64)
  ("(y 5)" 64 68)
  ("(y 6)" 68 118)
  ("(y 5)" 118 131)
  ("(y 4)" 131 140)
  ("(y 3)" 140 156)
  ("(y 2)" 156 182)
  ("(y 1)" 182 215)
  ("(y 2)" 215 223)
  ("(y 3)" 223 228)
  ("(y 4)" 228 238)
  ("(y 5)" 238 249)
  ("(y 4)" 249 271)
  ("(y stable)" 4 6)
  ("(y up)" 6 13)
  ("(y stable)" 13 40)
  ("(y down)" 40 89)
  ("(y stable)" 89 94)
  ("(y up)" 94 200)
  ("(y stable)" 200 207)
  ("(y down)" 207 240)
  ("(y stable)" 240 248)
  ("(y up)" 248 259)
  ("(y stable)" 259 271)
 ))
(1
 (
  ("(x 4)" 3 41)
  ("(x 5)" 41 47)
  ("(x 6)" 47 68)
  ("(x 5)" 68 76)
  ("(x 4)" 76 94)
  ("(x 3)" 94 115)
  ("(x 2)" 115 122)
  ("(x 1)" 122 152)
  ("(x 2)" 152 156)
  ("(x 3)" 156 158)
  ("(x 4)" 158 161)
  ("(x 5)" 161 166)
  ("(x 6)" 166 180)
  ("(x stable)" 4 15)
  ("(x down)" 15 22)
  ("(x stable)" 22 25)
  ("(x up)" 25 32)
  ("(x stable)" 32 33)
  ("(x down)" 33 54)
  ("(x stable)" 54 62)
  ("(x up)" 62 84)
  ("(x stable)" 84 86)
  ("(x up)" 86 101)
  ("(x stable)" 101 110)
  ("(x up)" 110 140)
  ("(x down)" 140 175)
  ("(x stable)" 175 176)
  ("(x up)" 176 180)
  ("(y 2)" 3 30)
  ("(y 3)" 30 35)
  ("(y 4)" 35 38)
  ("(y 5)" 38 43)
  ("(y 6)" 43 77)
  ("(y 5)" 77 87)
  ("(y 4)" 87 91)
  ("(y 3)" 91 94)
  ("(y 2)" 94 100)
  ("(y 1)" 100 139)
  ("(y 2)" 139 144)
  ("(y 3)" 144 148)
  ("(y 4)" 148 157)
  ("(y 5)" 157 168)
  ("(y 4)" 168 180)
  ("(y stable)" 4 5)
  ("(y up)" 5 12)
  ("(y stable)" 12 24)
  ("(y down)" 24 59)
  ("(y stable)" 59 61)
  ("(y up)" 61 126)
  ("(y stable)" 126 128)
  ("(y down)" 128 162)
  ("(y up)" 162 175)
  ("(y stable)" 175 180)
 ))
(2
 (
  ("(x 3)" 3 29)
  ("(x 4)" 29 35)
  ("(x 5)" 35 44)
  ("(x 6)" 44 78)
  ("(x 5)" 78 83)
  ("(x 4)" 83 88)
  ("(x 3)" 88 98)
  ("(x 2)" 98 104)
  ("(x 1)" 104 130)
  ("(x 2)" 130 134)
  ("(x 3)" 134 142)
  ("(x 4)" 142 152)
  ("(x stable)" 4 5)
  ("(x down)" 5 7)
  ("(x stable)" 7 23)
  ("(x down)" 23 56)
  ("(x stable)" 56 68)
  ("(x up)" 68 118)
  ("(x stable)" 118 119)
  ("(x down)" 119 152)
  ("(y 2)" 3 11)
  ("(y 1)" 11 22)
  ("(y 2)" 22 31)
  ("(y 3)" 31 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 41)
  ("(y 6)" 41 77)
  ("(y 5)" 77 82)
  ("(y 4)" 82 85)
  ("(y 3)" 85 89)
  ("(y 2)" 89 102)
  ("(y 1)" 102 120)
  ("(y 2)" 120 128)
  ("(y 3)" 128 137)
  ("(y 4)" 137 146)
  ("(y 3)" 146 152)
  ("(y up)" 4 14)
  ("(y stable)" 14 21)
  ("(y down)" 21 54)
  ("(y stable)" 54 56)
  ("(y up)" 56 114)
  ("(y stable)" 114 115)
  ("(y down)" 115 140)
  ("(y stable)" 140 143)
  ("(y up)" 143 152)
 ))
(3
 (
  ("(x 4)" 3 33)
  ("(x 5)" 33 39)
  ("(x 6)" 39 65)
  ("(x 5)" 65 69)
  ("(x 4)" 69 73)
  ("(x 3)" 73 76)
  ("(x 2)" 76 83)
  ("(x 1)" 83 118)
  ("(x 2)" 118 125)
  ("(x 3)" 125 130)
  ("(x 4)" 130 140)
  ("(x 5)" 140 142)
  ("(x 4)" 142 147)
  ("(x down)" 4 6)
  ("(x stable)" 6 12)
  ("(x up)" 12 22)
  ("(x stable)" 22 23)
  ("(x down)" 23 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 108)
  ("(x stable)" 108 109)
  ("(x down)" 109 141)
  ("(x stable)" 141 142)
  ("(x up)" 142 147)
  ("(y 2)" 3 24)
  ("(y 3)" 24 28)
  ("(y 4)" 28 32)
  ("(y 5)" 32 36)
  ("(y 6)" 36 65)
  ("(y 5)" 65 69)
  ("(y 4)" 69 73)
  ("(y 3)" 73 77)
  ("(y 2)" 77 85)
  ("(y 1)" 85 107)
  ("(y 2)" 107 115)
  ("(y 3)" 115 147)
  ("(y up)" 4 7)
  ("(y stable)" 7 10)
  ("(y down)" 10 50)
  ("(y stable)" 50 51)
  ("(y up)" 51 93)
  ("(y stable)" 93 99)
  ("(y down)" 99 130)
  ("(y stable)" 130 147)
 ))
(4
 (
  ("(x 4)" 3 25)
  ("(x 5)" 25 36)
  ("(x 6)" 36 58)
  ("(x 5)" 58 65)
  ("(x 4)" 65 71)
  ("(x 3)" 71 77)
  ("(x 2)" 77 92)
  ("(x 1)" 92 122)
  ("(x 2)" 122 127)
  ("(x 3)" 127 130)
  ("(x 4)" 130 133)
  ("(x 5)" 133 138)
  ("(x 6)" 138 147)
  ("(x stable)" 4 11)
  ("(x up)" 11 18)
  ("(x stable)" 18 19)
  ("(x down)" 19 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 108)
  ("(x stable)" 108 109)
  ("(x down)" 109 143)
  ("(x stable)" 143 144)
  ("(x up)" 144 147)
  ("(y 2)" 3 18)
  ("(y 3)" 18 21)
  ("(y 4)" 21 25)
  ("(y 5)" 25 29)
  ("(y 6)" 29 58)
  ("(y 5)" 58 64)
  ("(y 4)" 64 68)
  ("(y 3)" 68 71)
  ("(y 2)" 71 77)
  ("(y 1)" 77 109)
  ("(y 2)" 109 115)
  ("(y 3)" 115 121)
  ("(y 4)" 121 147)
  ("(y stable)" 4 11)
  ("(y down)" 11 44)
  ("(y up)" 44 94)
  ("(y stable)" 94 100)
  ("(y down)" 100 134)
  ("(y stable)" 134 135)
  ("(y up)" 135 141)
  ("(y stable)" 141 145)
  ("(y down)" 145 147)
 ))
(5
 (
  ("(x 4)" 3 22)
  ("(x 5)" 22 43)
  ("(x 6)" 43 65)
  ("(x 5)" 65 72)
  ("(x 4)" 72 77)
  ("(x 3)" 77 85)
  ("(x 2)" 85 92)
  ("(x 1)" 92 128)
  ("(x 2)" 128 133)
  ("(x 3)" 133 136)
  ("(x 4)" 136 139)
  ("(x 5)" 139 155)
  ("(x down)" 4 10)
  ("(x stable)" 10 21)
  ("(x down)" 21 53)
  ("(x stable)" 53 59)
  ("(x up)" 59 113)
  ("(x stable)" 113 115)
  ("(x down)" 115 148)
  ("(x stable)" 148 149)
  ("(x up)" 149 155)
  ("(y 2)" 3 26)
  ("(y 3)" 26 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 37)
  ("(y 6)" 37 68)
  ("(y 5)" 68 72)
  ("(y 4)" 72 76)
  ("(y 3)" 76 80)
  ("(y 2)" 80 89)
  ("(y 1)" 89 114)
  ("(y 2)" 114 121)
  ("(y 3)" 121 128)
  ("(y 4)" 128 155)
  ("(y up)" 4 9)
  ("(y stable)" 9 18)
  ("(y down)" 18 53)
  ("(y stable)" 53 54)
  ("(y up)" 54 101)
  ("(y stable)" 101 104)
  ("(y down)" 104 139)
  ("(y stable)" 139 155)
 ))
(6
 (
  ("(x 4)" 3 31)
  ("(x 5)" 31 42)
  ("(x 6)" 42 68)
  ("(x 5)" 68 74)
  ("(x 4)" 74 78)
  ("(x 3)" 78 82)
  ("(x 2)" 82 92)
  ("(x 1)" 92 127)
  ("(x 2)" 127 132)
  ("(x 3)" 132 136)
  ("(x 4)" 136 141)
  ("(x 5)" 141 154)
  ("(x down)" 4 13)
  ("(x stable)" 13 27)
  ("(x down)" 27 54)
  ("(x stable)" 54 59)
  ("(x up)" 59 115)
  ("(x stable)" 115 116)
  ("(x down)" 116 150)
  ("(x stable)" 150 153)
  ("(x up)" 153 154)
  ("(y 2)" 3 26)
  ("(y 3)" 26 30)
  ("(y 4)" 30 34)
  ("(y 5)" 34 38)
  ("(y 6)" 38 67)
  ("(y 5)" 67 72)
  ("(y 4)" 72 76)
  ("(y 3)" 76 80)
  ("(y 2)" 80 88)
  ("(y 1)" 88 115)
  ("(y 2)" 115 121)
  ("(y 3)" 121 127)
  ("(y 4)" 127 154)
  ("(y up)" 4 8)
  ("(y stable)" 8 18)
  ("(y down)" 18 52)
  ("(y stable)" 52 54)
  ("(y up)" 54 103)
  ("(y stable)" 103 107)
  ("(y down)" 107 140)
  ("(y stable)" 140 143)
  ("(y up)" 143 149)
  ("(y stable)" 149 150)
  ("(y down)" 150 154)
 ))
(7
 (
  ("(x 4)" 3 26)
  ("(x 5)" 26 40)
  ("(x 6)" 40 76)
  ("(x 5)" 76 82)
  ("(x 4)" 82 86)
  ("(x 3)" 86 89)
  ("(x 2)" 89 101)
  ("(x 1)" 101 136)
  ("(x 2)" 136 142)
  ("(x 3)" 142 147)
  ("(x 4)" 147 161)
  ("(x stable)" 4 20)
  ("(x down)" 20 52)
  ("(x stable)" 52 70)
  ("(x up)" 70 123)
  ("(x stable)" 123 124)
  ("(x down)" 124 157)
  ("(x stable)" 157 158)
  ("(x up)" 158 161)
  ("(y 2)" 3 19)
  ("(y 3)" 19 25)
  ("(y 4)" 25 29)
  ("(y 5)" 29 34)
  ("(y 6)" 34 75)
  ("(y 5)" 75 81)
  ("(y 4)" 81 85)
  ("(y 3)" 85 88)
  ("(y 2)" 88 93)
  ("(y 1)" 93 126)
  ("(y 2)" 126 135)
  ("(y 3)" 135 161)
  ("(y stable)" 4 15)
  ("(y down)" 15 49)
  ("(y stable)" 49 57)
  ("(y up)" 57 110)
  ("(y stable)" 110 116)
  ("(y down)" 116 149)
  ("(y stable)" 149 157)
  ("(y down)" 157 161)
 ))
(8
 (
  ("(x 5)" 3 38)
  ("(x 6)" 38 57)
  ("(x 5)" 57 63)
  ("(x 4)" 63 68)
  ("(x 3)" 68 74)
  ("(x 2)" 74 86)
  ("(x 1)" 86 119)
  ("(x 2)" 119 123)
  ("(x 3)" 123 127)
  ("(x 4)" 127 132)
  ("(x 5)" 132 143)
  ("(x down)" 4 11)
  ("(x stable)" 11 12)
  ("(x up)" 12 27)
  ("(x stable)" 27 28)
  ("(x down)" 28 48)
  ("(x up)" 48 108)
  ("(x stable)" 108 109)
  ("(x down)" 109 140)
  ("(x stable)" 140 141)
  ("(x up)" 141 143)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 33)
  ("(y 6)" 33 62)
  ("(y 5)" 62 66)
  ("(y 4)" 66 70)
  ("(y 3)" 70 74)
  ("(y 2)" 74 83)
  ("(y 1)" 83 106)
  ("(y 2)" 106 114)
  ("(y 3)" 114 121)
  ("(y 4)" 121 143)
  ("(y up)" 4 10)
  ("(y down)" 10 49)
  ("(y up)" 49 96)
  ("(y stable)" 96 98)
  ("(y down)" 98 129)
  ("(y up)" 129 141)
  ("(y stable)" 141 143)
 ))
(9
 (
  ("(x 4)" 3 33)
  ("(x 5)" 33 61)
  ("(x 6)" 61 71)
  ("(x 5)" 71 82)
  ("(x 4)" 82 86)
  ("(x 3)" 86 89)
  ("(x 2)" 89 97)
  ("(x 1)" 97 126)
  ("(x 2)" 126 128)
  ("(x 3)" 128 130)
  ("(x 4)" 130 132)
  ("(x 5)" 132 137)
  ("(x 6)" 137 147)
  ("(x 5)" 147 149)
  ("(x stable)" 4 22)
  ("(x down)" 22 48)
  ("(x stable)" 48 53)
  ("(x down)" 53 67)
  ("(x up)" 67 113)
  ("(x stable)" 113 114)
  ("(x down)" 114 142)
  ("(x stable)" 142 143)
  ("(x up)" 143 149)
  ("(y 1)" 3 18)
  ("(y 2)" 18 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 36)
  ("(y 6)" 36 69)
  ("(y 5)" 69 73)
  ("(y 4)" 73 77)
  ("(y 3)" 77 81)
  ("(y 2)" 81 88)
  ("(y 1)" 88 109)
  ("(y 2)" 109 115)
  ("(y 3)" 115 122)
  ("(y 4)" 122 136)
  ("(y 3)" 136 148)
  ("(y 4)" 148 149)
  ("(y up)" 4 6)
  ("(y stable)" 6 17)
  ("(y down)" 17 51)
  ("(y stable)" 51 52)
  ("(y up)" 52 99)
  ("(y stable)" 99 100)
  ("(y down)" 100 128)
  ("(y stable)" 128 129)
  ("(y up)" 129 142)
  ("(y stable)" 142 144)
  ("(y down)" 144 149)
 ))
(10
 (
  ("(x 4)" 3 28)
  ("(x 5)" 28 73)
  ("(x 4)" 73 82)
  ("(x 3)" 82 88)
  ("(x 2)" 88 94)
  ("(x 1)" 94 122)
  ("(x 2)" 122 126)
  ("(x 3)" 126 129)
  ("(x 4)" 129 132)
  ("(x 5)" 132 149)
  ("(x down)" 4 8)
  ("(x stable)" 8 25)
  ("(x down)" 25 46)
  ("(x stable)" 46 51)
  ("(x down)" 51 58)
  ("(x stable)" 58 62)
  ("(x up)" 62 110)
  ("(x down)" 110 141)
  ("(x stable)" 141 143)
  ("(x up)" 143 149)
  ("(y 2)" 3 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 30)
  ("(y 5)" 30 33)
  ("(y 6)" 33 64)
  ("(y 5)" 64 68)
  ("(y 4)" 68 71)
  ("(y 3)" 71 75)
  ("(y 2)" 75 81)
  ("(y 1)" 81 107)
  ("(y 2)" 107 114)
  ("(y 3)" 114 121)
  ("(y 4)" 121 132)
  ("(y 3)" 132 148)
  ("(y 4)" 148 149)
  ("(y up)" 4 9)
  ("(y stable)" 9 18)
  ("(y down)" 18 47)
  ("(y up)" 47 92)
  ("(y stable)" 92 98)
  ("(y down)" 98 126)
  ("(y stable)" 126 127)
  ("(y up)" 127 139)
  ("(y stable)" 139 143)
  ("(y down)" 143 149)
 ))
(11
 (
  ("(x 4)" 3 34)
  ("(x 5)" 34 83)
  ("(x 4)" 83 90)
  ("(x 3)" 90 94)
  ("(x 2)" 94 97)
  ("(x 1)" 97 124)
  ("(x 2)" 124 126)
  ("(x 3)" 126 127)
  ("(x 4)" 127 129)
  ("(x 5)" 129 133)
  ("(x 6)" 133 142)
  ("(x 5)" 142 143)
  ("(x down)" 4 9)
  ("(x stable)" 9 25)
  ("(x down)" 25 38)
  ("(x stable)" 38 45)
  ("(x down)" 45 52)
  ("(x stable)" 52 63)
  ("(x down)" 63 74)
  ("(x stable)" 74 75)
  ("(x up)" 75 111)
  ("(x stable)" 111 113)
  ("(x down)" 113 138)
  ("(x stable)" 138 139)
  ("(x up)" 139 143)
  ("(y 2)" 3 13)
  ("(y 3)" 13 18)
  ("(y 4)" 18 22)
  ("(y 5)" 22 27)
  ("(y 6)" 27 59)
  ("(y 5)" 59 64)
  ("(y 4)" 64 68)
  ("(y 3)" 68 74)
  ("(y 2)" 74 82)
  ("(y 1)" 82 108)
  ("(y 2)" 108 115)
  ("(y 3)" 115 143)
  ("(y stable)" 4 5)
  ("(y down)" 5 42)
  ("(y stable)" 42 45)
  ("(y up)" 45 98)
  ("(y stable)" 98 99)
  ("(y down)" 99 130)
  ("(y stable)" 130 143)
 ))
(12
 (
  ("(x 3)" 3 5)
  ("(x 4)" 5 21)
  ("(x 5)" 21 33)
  ("(x 6)" 33 59)
  ("(x 5)" 59 65)
  ("(x 4)" 65 70)
  ("(x 3)" 70 74)
  ("(x 2)" 74 80)
  ("(x 1)" 80 110)
  ("(x 2)" 110 113)
  ("(x 3)" 113 116)
  ("(x 4)" 116 121)
  ("(x 5)" 121 128)
  ("(x down)" 4 6)
  ("(x stable)" 6 9)
  ("(x down)" 9 42)
  ("(x stable)" 42 46)
  ("(x down)" 46 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 98)
  ("(x stable)" 98 100)
  ("(x down)" 100 127)
  ("(x stable)" 127 128)
  ("(y 1)" 3 11)
  ("(y 2)" 11 19)
  ("(y 3)" 19 23)
  ("(y 4)" 23 26)
  ("(y 5)" 26 30)
  ("(y 6)" 30 56)
  ("(y 5)" 56 59)
  ("(y 4)" 59 62)
  ("(y 3)" 62 65)
  ("(y 2)" 65 74)
  ("(y 1)" 74 90)
  ("(y 2)" 90 99)
  ("(y 3)" 99 128)
  ("(y up)" 4 8)
  ("(y stable)" 8 9)
  ("(y down)" 9 44)
  ("(y up)" 44 83)
  ("(y stable)" 83 84)
  ("(y down)" 84 114)
  ("(y stable)" 114 115)
  ("(y up)" 115 124)
  ("(y stable)" 124 128)
 ))
(13
 (
  ("(x 5)" 3 69)
  ("(x 6)" 69 73)
  ("(x 5)" 73 86)
  ("(x 4)" 86 105)
  ("(x 3)" 105 108)
  ("(x 2)" 108 111)
  ("(x 1)" 111 147)
  ("(x 2)" 147 151)
  ("(x 3)" 151 156)
  ("(x 4)" 156 169)
  ("(x stable)" 4 20)
  ("(x up)" 20 32)
  ("(x stable)" 32 36)
  ("(x down)" 36 50)
  ("(x stable)" 50 59)
  ("(x down)" 59 71)
  ("(x stable)" 71 72)
  ("(x up)" 72 88)
  ("(x stable)" 88 99)
  ("(x up)" 99 128)
  ("(x stable)" 128 129)
  ("(x down)" 129 169)
  ("(y 3)" 3 5)
  ("(y 2)" 5 21)
  ("(y 3)" 21 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 37)
  ("(y 6)" 37 74)
  ("(y 5)" 74 79)
  ("(y 4)" 79 82)
  ("(y 3)" 82 85)
  ("(y 2)" 85 89)
  ("(y 1)" 89 126)
  ("(y 2)" 126 132)
  ("(y 3)" 132 147)
  ("(y 4)" 147 168)
  ("(y 3)" 168 169)
  ("(y up)" 4 8)
  ("(y stable)" 8 19)
  ("(y down)" 19 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 100)
  ("(y stable)" 100 105)
  ("(y up)" 105 112)
  ("(y stable)" 112 118)
  ("(y down)" 118 148)
  ("(y stable)" 148 168)
  ("(y up)" 168 169)
 ))
(14
 (
  ("(x 4)" 3 27)
  ("(x 5)" 27 35)
  ("(x 6)" 35 60)
  ("(x 5)" 60 70)
  ("(x 4)" 70 76)
  ("(x 3)" 76 80)
  ("(x 2)" 80 88)
  ("(x 1)" 88 115)
  ("(x 2)" 115 119)
  ("(x 3)" 119 122)
  ("(x 4)" 122 126)
  ("(x 5)" 126 135)
  ("(x up)" 4 5)
  ("(x stable)" 5 19)
  ("(x down)" 19 47)
  ("(x stable)" 47 51)
  ("(x up)" 51 105)
  ("(x stable)" 105 106)
  ("(x down)" 106 135)
  ("(y 2)" 3 23)
  ("(y 3)" 23 26)
  ("(y 4)" 26 28)
  ("(y 5)" 28 32)
  ("(y 6)" 32 60)
  ("(y 5)" 60 63)
  ("(y 4)" 63 67)
  ("(y 3)" 67 72)
  ("(y 2)" 72 79)
  ("(y 1)" 79 101)
  ("(y 2)" 101 109)
  ("(y 3)" 109 116)
  ("(y 4)" 116 135)
  ("(y stable)" 4 17)
  ("(y down)" 17 47)
  ("(y up)" 47 91)
  ("(y stable)" 91 92)
  ("(y down)" 92 125)
  ("(y stable)" 125 131)
  ("(y up)" 131 135)
 ))
(15
 (
  ("(x 5)" 3 66)
  ("(x 4)" 66 71)
  ("(x 3)" 71 80)
  ("(x 2)" 80 91)
  ("(x 1)" 91 120)
  ("(x 2)" 120 124)
  ("(x 3)" 124 126)
  ("(x 4)" 126 130)
  ("(x 5)" 130 136)
  ("(x 6)" 136 143)
  ("(x stable)" 4 20)
  ("(x down)" 20 40)
  ("(x stable)" 40 56)
  ("(x up)" 56 108)
  ("(x stable)" 108 109)
  ("(x down)" 109 140)
  ("(x stable)" 140 142)
  ("(x up)" 142 143)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 32)
  ("(y 6)" 32 62)
  ("(y 5)" 62 65)
  ("(y 4)" 65 68)
  ("(y 3)" 68 71)
  ("(y 2)" 71 78)
  ("(y 1)" 78 105)
  ("(y 2)" 105 110)
  ("(y 3)" 110 114)
  ("(y 4)" 114 143)
  ("(y stable)" 4 17)
  ("(y down)" 17 45)
  ("(y stable)" 45 49)
  ("(y up)" 49 93)
  ("(y stable)" 93 95)
  ("(y down)" 95 125)
  ("(y up)" 125 143)
 ))
(16
 (
  ("(x 4)" 3 19)
  ("(x 5)" 19 69)
  ("(x 4)" 69 75)
  ("(x 3)" 75 83)
  ("(x 2)" 83 98)
  ("(x 1)" 98 127)
  ("(x 2)" 127 132)
  ("(x 3)" 132 136)
  ("(x 4)" 136 139)
  ("(x 5)" 139 144)
  ("(x 6)" 144 159)
  ("(x stable)" 4 13)
  ("(x down)" 13 38)
  ("(x stable)" 38 58)
  ("(x up)" 58 113)
  ("(x stable)" 113 114)
  ("(x down)" 114 154)
  ("(x stable)" 154 155)
  ("(x up)" 155 159)
  ("(y 2)" 3 19)
  ("(y 3)" 19 23)
  ("(y 4)" 23 27)
  ("(y 5)" 27 31)
  ("(y 6)" 31 63)
  ("(y 5)" 63 67)
  ("(y 4)" 67 70)
  ("(y 3)" 70 73)
  ("(y 2)" 73 80)
  ("(y 1)" 80 114)
  ("(y 2)" 114 119)
  ("(y 3)" 119 124)
  ("(y 4)" 124 159)
  ("(y stable)" 4 13)
  ("(y down)" 13 46)
  ("(y stable)" 46 50)
  ("(y up)" 50 105)
  ("(y down)" 105 133)
  ("(y stable)" 133 138)
  ("(y up)" 138 149)
  ("(y stable)" 149 159)
 ))
(17
 (
  ("(x 4)" 3 24)
  ("(x 5)" 24 41)
  ("(x 6)" 41 72)
  ("(x 5)" 72 78)
  ("(x 4)" 78 82)
  ("(x 3)" 82 89)
  ("(x 2)" 89 96)
  ("(x 1)" 96 123)
  ("(x 2)" 123 127)
  ("(x 3)" 127 137)
  ("(x 4)" 137 148)
  ("(x down)" 4 7)
  ("(x stable)" 7 17)
  ("(x down)" 17 42)
  ("(x stable)" 42 51)
  ("(x down)" 51 58)
  ("(x stable)" 58 68)
  ("(x up)" 68 111)
  ("(x down)" 111 148)
  ("(y 2)" 3 18)
  ("(y 3)" 18 23)
  ("(y 4)" 23 26)
  ("(y 5)" 26 30)
  ("(y 6)" 30 65)
  ("(y 5)" 65 70)
  ("(y 4)" 70 74)
  ("(y 3)" 74 78)
  ("(y 2)" 78 84)
  ("(y 1)" 84 108)
  ("(y 2)" 108 125)
  ("(y 3)" 125 148)
  ("(y up)" 4 9)
  ("(y stable)" 9 12)
  ("(y down)" 12 45)
  ("(y stable)" 45 49)
  ("(y up)" 49 95)
  ("(y stable)" 95 99)
  ("(y down)" 99 132)
  ("(y stable)" 132 139)
  ("(y down)" 139 148)
 ))
(18
 (
  ("(x 4)" 3 27)
  ("(x 5)" 27 64)
  ("(x 4)" 64 70)
  ("(x 3)" 70 75)
  ("(x 2)" 75 80)
  ("(x 1)" 80 108)
  ("(x 2)" 108 111)
  ("(x 3)" 111 113)
  ("(x 4)" 113 117)
  ("(x 5)" 117 136)
  ("(x down)" 4 8)
  ("(x stable)" 8 20)
  ("(x down)" 20 40)
  ("(x stable)" 40 54)
  ("(x up)" 54 97)
  ("(x stable)" 97 98)
  ("(x down)" 98 126)
  ("(x stable)" 126 133)
  ("(x up)" 133 136)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 28)
  ("(y 5)" 28 31)
  ("(y 6)" 31 58)
  ("(y 5)" 58 61)
  ("(y 4)" 61 63)
  ("(y 3)" 63 66)
  ("(y 2)" 66 75)
  ("(y 1)" 75 95)
  ("(y 2)" 95 101)
  ("(y 3)" 101 107)
  ("(y 4)" 107 136)
  ("(y up)" 4 8)
  ("(y stable)" 8 13)
  ("(y down)" 13 43)
  ("(y stable)" 43 46)
  ("(y up)" 46 86)
  ("(y stable)" 86 88)
  ("(y down)" 88 115)
  ("(y stable)" 115 117)
  ("(y up)" 117 129)
  ("(y stable)" 129 136)
 ))
(19
 (
  ("(x 5)" 3 60)
  ("(x 4)" 60 64)
  ("(x 3)" 64 72)
  ("(x 2)" 72 79)
  ("(x 1)" 79 105)
  ("(x 2)" 105 110)
  ("(x 3)" 110 114)
  ("(x 4)" 114 120)
  ("(x 5)" 120 128)
  ("(x stable)" 4 11)
  ("(x up)" 11 18)
  ("(x stable)" 18 28)
  ("(x down)" 28 41)
  ("(x stable)" 41 52)
  ("(x up)" 52 95)
  ("(x stable)" 95 96)
  ("(x down)" 96 124)
  ("(x stable)" 124 127)
  ("(x up)" 127 128)
  ("(y 2)" 3 17)
  ("(y 3)" 17 21)
  ("(y 4)" 21 24)
  ("(y 5)" 24 28)
  ("(y 6)" 28 56)
  ("(y 5)" 56 59)
  ("(y 4)" 59 61)
  ("(y 3)" 61 63)
  ("(y 2)" 63 68)
  ("(y 1)" 68 93)
  ("(y 2)" 93 100)
  ("(y 3)" 100 106)
  ("(y 4)" 106 128)
  ("(y stable)" 4 7)
  ("(y down)" 7 45)
  ("(y up)" 45 83)
  ("(y stable)" 83 85)
  ("(y down)" 85 114)
  ("(y up)" 114 124)
  ("(y stable)" 124 128)
 ))
(20
 (
  ("(x 4)" 3 9)
  ("(x 5)" 9 22)
  ("(x 6)" 22 48)
  ("(x 5)" 48 55)
  ("(x 4)" 55 61)
  ("(x 3)" 61 67)
  ("(x 2)" 67 73)
  ("(x 1)" 73 100)
  ("(x 2)" 100 106)
  ("(x 3)" 106 114)
  ("(x 4)" 114 128)
  ("(x stable)" 4 5)
  ("(x down)" 5 38)
  ("(x stable)" 38 40)
  ("(x up)" 40 87)
  ("(x down)" 87 122)
  ("(x stable)" 122 125)
  ("(x down)" 125 128)
  ("(y 2)" 3 12)
  ("(y 3)" 12 15)
  ("(y 4)" 15 18)
  ("(y 5)" 18 22)
  ("(y 6)" 22 48)
  ("(y 5)" 48 51)
  ("(y 4)" 51 54)
  ("(y 3)" 54 57)
  ("(y 2)" 57 62)
  ("(y 1)" 62 84)
  ("(y 2)" 84 91)
  ("(y 3)" 91 101)
  ("(y 4)" 101 109)
  ("(y 3)" 109 128)
  ("(y stable)" 4 5)
  ("(y down)" 5 37)
  ("(y up)" 37 73)
  ("(y stable)" 73 75)
  ("(y down)" 75 105)
  ("(y stable)" 105 106)
  ("(y up)" 106 120)
  ("(y stable)" 120 128)
 ))
(21
 (
  ("(x 5)" 3 65)
  ("(x 4)" 65 73)
  ("(x 3)" 73 78)
  ("(x 2)" 78 85)
  ("(x 1)" 85 117)
  ("(x 2)" 117 120)
  ("(x 3)" 120 122)
  ("(x 4)" 122 125)
  ("(x 5)" 125 130)
  ("(x 6)" 130 141)
  ("(x stable)" 4 36)
  ("(x down)" 36 43)
  ("(x stable)" 43 59)
  ("(x up)" 59 106)
  ("(x down)" 106 136)
  ("(x stable)" 136 137)
  ("(x up)" 137 141)
  ("(y 2)" 3 21)
  ("(y 3)" 21 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 32)
  ("(y 6)" 32 60)
  ("(y 5)" 60 63)
  ("(y 4)" 63 65)
  ("(y 3)" 65 68)
  ("(y 2)" 68 74)
  ("(y 1)" 74 100)
  ("(y 2)" 100 106)
  ("(y 3)" 106 111)
  ("(y 4)" 111 118)
  ("(y 5)" 118 127)
  ("(y 4)" 127 141)
  ("(y stable)" 4 13)
  ("(y down)" 13 45)
  ("(y stable)" 45 51)
  ("(y up)" 51 90)
  ("(y stable)" 90 91)
  ("(y down)" 91 122)
  ("(y stable)" 122 124)
  ("(y up)" 124 138)
  ("(y stable)" 138 141)
 ))
(22
 (
  ("(x 5)" 3 24)
  ("(x 6)" 24 52)
  ("(x 5)" 52 57)
  ("(x 4)" 57 61)
  ("(x 3)" 61 65)
  ("(x 2)" 65 74)
  ("(x 1)" 74 104)
  ("(x 2)" 104 109)
  ("(x 3)" 109 114)
  ("(x 4)" 114 132)
  ("(x down)" 4 9)
  ("(x stable)" 9 10)
  ("(x down)" 10 35)
  ("(x stable)" 35 44)
  ("(x up)" 44 94)
  ("(x down)" 94 122)
  ("(x stable)" 122 132)
  ("(y 2)" 3 8)
  ("(y 3)" 8 13)
  ("(y 4)" 13 17)
  ("(y 5)" 17 21)
  ("(y 6)" 21 51)
  ("(y 5)" 51 55)
  ("(y 4)" 55 58)
  ("(y 3)" 58 61)
  ("(y 2)" 61 67)
  ("(y 1)" 67 92)
  ("(y 2)" 92 102)
  ("(y 3)" 102 132)
  ("(y down)" 4 35)
  ("(y stable)" 35 38)
  ("(y up)" 38 80)
  ("(y stable)" 80 81)
  ("(y down)" 81 116)
  ("(y stable)" 116 132)
 ))
